تعداد ۴ پاسخ غیر تکراری از ۴ پاسخ تکراری در مدت زمان ۰,۳۰ ثانیه یافت شد.

1. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory

رده :

QA

3

.

L28

no

.

500

2. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

پدیدآورنده : edited by J. Diller and G. H. Muller

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Proof theory,، Schutte, Kurt - Bibliography

رده :

QA

1

.

L4

v

.

500

3. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

پدیدآورنده : edited by J. Diller and G. H. Muller

کتابخانه: (طهران)

موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده :

QA

3

.

L28

Vol

.

500

4. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday; Proceedings of the international summer institute and logic colloquium, Kiel, 1974

پدیدآورنده : / edited by J. Diller and G. H. Muller

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Proof theory - Congresses,Schutte Kurt - Bibliography

رده :

510

L471

No

.

500

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها